x86/levelling: Pass a vcpu rather than a domain to ctxt_switch_levelling()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 22 Aug 2016 16:39:44 +0000 (17:39 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 1 Sep 2016 10:41:05 +0000 (11:41 +0100)
commit33b23e5ab319a6bf9bfd38c4d9268fa6d9d072c6
tree1dd3cbf9e08de9a6bd01198f4e46e7794e4ed4a7
parent3b7cac5232012e167b284aba738fef1eceda33f8
x86/levelling: Pass a vcpu rather than a domain to ctxt_switch_levelling()

A subsequent change needs to special-case OSXSAVE handling, which is per-vcpu
rather than per-domain.

No functional change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/cpu/amd.c
xen/arch/x86/cpu/common.c
xen/arch/x86/cpu/intel.c
xen/arch/x86/domain.c
xen/include/asm-x86/processor.h